import java.util.HashSet;
import java.util.LinkedList;
import java.util.List;
import java.util.ListIterator;
import java.util.Set;
import org.apache.commons.collections.buffer.CircularFifoBuffer;
import org.apache.commons.collections.comparators.FixedOrderComparator;
import org.apache.commons.collections.list.CursorableLinkedList;
import org.apache.commons.collections.map.LRUMap;
import org.apache.commons.collections.map.MultiValueMap;
import org.apache.commons.collections.set.ListOrderedSet;
import junit.framework.TestCase;


import junit.framework.TestCase;
public class MainExpansionTest extends TestCase {
@sketch.ounit.OUnit
public void testrewriteSize0() {
	MultiValueMap map = new MultiValueMap();
	map.put("A", "AA");
	Observer.observeExpr(map.totalSize());
	map.remove("A");
	map.put("B", "BB");
	Observer.observeExpr(map.totalSize());
	map.remove("B");
	map.put("C", "CC");
	Observer.observeExpr(map.totalSize());
	map.remove("C");
	map.put("D", "D");
	Observer.observeExpr(map.totalSize());
	map.remove("D");
}
@sketch.ounit.OUnit
public void testrewriteSize1() {
	MultiValueMap map = new MultiValueMap();
	map.put("A", "AA");
	Observer.observeExpr(map.totalSize());
	map.put("B", "BB");
	Observer.observeExpr(map.totalSize());
	map.put("C", "CC");
	Observer.observeExpr(map.totalSize());
	map.put("D", "D");
	Observer.observeExpr(map.totalSize());
}
@sketch.ounit.OUnit
public void testrewriteSize2() {
	MultiValueMap map = new MultiValueMap();
	map.put("A", "AA");
	Observer.observeExpr(map.size());
	map.remove("A");
	map.put("B", "BB");
	Observer.observeExpr(map.size());
	map.remove("B");
	map.put("C", "CC");
	Observer.observeExpr(map.size());
	map.remove("C");
	map.put("D", "D");
	Observer.observeExpr(map.size());
	map.remove("D");
}
@sketch.ounit.OUnit
public void testrewriteSize3() {
	MultiValueMap map = new MultiValueMap();
	map.put("A", "AA");
	Observer.observeExpr(map.size());
	map.put("B", "BB");
	Observer.observeExpr(map.size());
	map.put("C", "CC");
	Observer.observeExpr(map.size());
	map.put("D", "D");
	Observer.observeExpr(map.size());
}
}
